Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution

Approximating while compressing lookup tables (LUT) with a set of neural networks (NN) is an emerging trend in safety critical systems, such as control/command or navigation systems. Recently, example, many research papers have focused on the ACAS Xu LUT compression. In this work, we explore how to make compression preserving system and offering adequate means certification.